A Restricted Second Order Logic for Finite Structures
نویسندگان
چکیده
منابع مشابه
Second order sensitivity analysis for shape optimization of continuum structures
This study focuses on the optimization of the plane structure. Sequential quadratic programming (SQP) will be utilized, which is one of the most efficient methods for solving nonlinearly constrained optimization problems. A new formulation for the second order sensitivity analysis of the two-dimensional finite element will be developed. All the second order required derivatives will be calculat...
متن کاملNormal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems
We start with a simple proof of Leivant's normal form theorem for 1 1 formulas over nite successor structures. Then we use that normal form to prove the following: (i) over all nite structures, every 1 2 formula is equivalent to a 1 2 formula whose rst-order part is a boolean combination of existential formulas, and (ii) over nite successor structures, the Kolaitis-Thakur hierarchy of minimizat...
متن کاملSecond-Order Logic over Finite Structures - Report on a Research Programme
This talk will report on the results achieved so far in the context of a research programme at the cutting point of logic, formal language theory, and complexity theory. The aim of this research programme is to classify the complexity of evaluating formulas from different prefix classes of second-order logic over different types of finite structures, such as strings, graphs, or arbitrary struct...
متن کاملOrdered Completion for First-Order Logic Programs on Finite Structures
In this paper, we propose a translation from normal first-order logic programs under the answer set semantics to first-order theories on finite structures. Specifically, we introduce ordered completions which are modifications of Clark’s completions with some extra predicates added to keep track of the derivation order, and show that on finite structures, classical models of the ordered-complet...
متن کاملMonadic Second Order Logic on Tree-Like Structures
An operation M∗ which constructs from a given structure M a tree-like structure whose domain consists of the finite sequences of elements of M is considered. A notion of automata running on such tree-like structures is defined. It is shown that automata of this kind characterise expressive power of monadic second-order logic (MSOL) over tree-like structures. Using this characterisation it is pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1998
ISSN: 0890-5401
DOI: 10.1006/inco.1998.2703